LEMP: a Language Engineering Model-driven Process
نویسندگان
چکیده
In this paper, we propose LEMP as a model-driven process to develop a language endowed with a set of derived artifacts (syntax, interchange format, APIs, ...) and with a well defined formal semantics. The process exploits the Model Driven Engineering principles of metamodeling, model transformation and automatic generation of language processing tools. We describe the requirements to fulfill and the development steps of this language engineering life cycle, including the validation activities regarding the syntactic and semantic aspects. As a proof-of-concepts, we apply LEMP to the Finite State Machines and we report our experience in developing a language for the Abstract State Machine formal method.
منابع مشابه
Automatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملA Model Driven Approach for Requirements Engineering of Industrial Automation Systems
Model driven requirements engineering (MDRE) is proposed to deal with the ever-increasing complexity of technical systems in the sense of providing requirement specifications as formal models that are correct, complete, consistent, unambiguous and easy to read and easy to maintain. A critical issue in this area is the lack of a universal and standardized modeling language which covers the whole...
متن کاملAchieving process modeling and execution through the combination of aspect and model-driven engineering approaches
One major advantage of executable software process models is that once defined, they can be simulated, checked and validated in short incremental and iterative cycles. This also makes them a powerful asset for important process improvement decisions such as resource allocation, deadlock identification and process management. In this paper, we propose a framework that combines Aspect and Model-D...
متن کاملCombining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution
One major advantage of executable software process models is that once defined, they can be simulated, checked and validated in short incremental and iterative cycles. This also makes them a powerful asset for important process improvement decisions such as resource allocation, deadlock identification and process management. In this paper, we propose a framework that combines Aspect and Model-D...
متن کاملA model-driven process for engineering a toolset for a formal method
We present a model-driven software process suitable to develop a set of integrated tools around a formal method. This process exploits concepts and technologies of the ModelDriven Engineering (MDE) approach, like metamodelling and automatic generation of software artifacts from models. We describe the requirements to fulfill and the development steps of this model-driven process. As a proof-of-...
متن کامل